Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 4 /4
978-3-540-69234-8
Declarative Programming for Knowledge Management

This volume presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative ...

Continue reading
978-3-540-85958-1
Principles and Practice of Constraint Programming : 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint ...

Continue reading
978-3-540-31580-3
Theory and Applications of Satisfiability Testing (vol. # 3542)

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability ...

Continue reading
978-3-540-37207-3
Theory and Applications of Satisfiability Testing - SAT 2006

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability ...

Continue reading
Total Books: 1 - 4 /4